\begin{tabbing}
es{-}interface{-}sum\=\{i:l\}\+
\\[0ex](${\it es}$; $X$; $e$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}interface{-}local{-}state\=\{i:l\}\+
\\[0ex](${\it es}$; ($\lambda$$x$,$y$. $x$+$y$); 0; $X$; $e$)
\-
\end{tabbing}